Pure Logic of Necessitation N